bc6dae31f0dcb3a34089591ea8f67fe8568c3a18,client/src/main/java/org/evosuite/symbolic/vm/SymbolicHeap.java,SymbolicHeap,getReference,#Object#,389
Before Change
// unknown object or out of synch object
symb_ref = new ReferenceConstant(Type.getType(conc_ref
.getClass()), newInstanceCount++);
symb_ref.initializeReference(conc_ref);
nonNullRefs.put(identityHashCode, symb_ref);
}
return symb_ref;
After Change
// unknown object
final Type type = Type.getType(conc_ref.getClass());
ReferenceConstant ref_constant = new ReferenceConstant(type, newInstanceCount++);
ref_constant.initializeReference(conc_ref);
nonNullRefs.put(identityHashCode, ref_constant);
return ref_constant;
}